Herman Geuvers: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Rob Nederpelt, Herman Geuvers

عام:

2014

اللغة:

english

ملف:

PDF, 2.35 MB

4.5 / 5.0

english, 2014

2

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Professor Rob Nederpelt, Professor Herman Geuvers

عام:

2014

اللغة:

english

ملف:

PDF, 2.67 MB

4.5 / 4.0

english, 2014

3

Type theory and formal proof: an Introduction

Type theory and formal proof: an Introduction

Cambridge University Press

Geuvers, Jan Herman, Nederpelt, R. P

عام:

2014

اللغة:

english

ملف:

PDF, 1.92 MB

4.5 / 0

english, 2014

4

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

England, Matthew, Geuvers, Herman, Hasan, Osman, Rabe, Florian, Teschke, Olaf

عام:

2017

اللغة:

english

ملف:

PDF, 49.24 MB

0 / 0

english, 2017

5

Logic Colloquium 2006

Logic Colloquium 2006

Cambridge University Press

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen (Editors)

عام:

2009

اللغة:

english

ملف:

PDF, 1.86 MB

0 / 0

english, 2009

6

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 2.23 MB

0 / 5.0

english, 2009

7

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 2.34 MB

0 / 0

english, 2009

8

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 2.94 MB

0 / 0

english, 2003

9

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

عام:

2011

اللغة:

english

ملف:

PDF, 3.65 MB

0 / 0

english, 2011

10

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 3.41 MB

0 / 0

english, 2009

11

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

عام:

2011

اللغة:

english

ملف:

PDF, 4.09 MB

0 / 0

english, 2011